Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
471	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax
472	Journal of Computer Security[removed]–1210 DOI[removed]JCS[removed]IOS Press 1157 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:18:30 Model theory Operator theory Linear algebra Formal languages Petri net Trace Finite set Von Neumann algebra Interpretation Mathematics Mathematical logic Logic
473	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
474	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
475	Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades Add to Reading List Source URL: kups.ub.uni-koeln.de Language: English - Date: 2011-03-28 06:57:24 NP-complete problems Logic in computer science Complexity classes Boolean algebra 2-satisfiability Boolean satisfiability problem Conjunctive normal form Outerplanar graph Planar graph Theoretical computer science Graph theory Computational complexity theory
476	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
477	Symmetry, Integrability and Geometry: Methods and Applications SIGMA[removed]), 002, 18 pages Multicomponent Burgers and KP Hierarchies, and Solutions from a Matrix Linear System? Add to Reading List Source URL: www.emis.de Language: English - Date: 2009-01-28 09:20:37 Heat transfer Defining equation Linear algebra Physics Spectral theory of ordinary differential equations Linear temporal logic Mathematics Mathematical analysis Heat equation
478	A unified framework for high-dimensional analysis of M -estimators with decomposable regularizers Sahand Negahban Department of EECS UC Berkeley sahand [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-11-18 14:28:49 Logic Statistical theory Regression analysis Maximum likelihood Linear regression Entailment Projection Loss function Dimensional analysis Statistics Estimation theory Econometrics
479	Modelling Combinatorial Auctions in Linear Logic Add to Reading List Source URL: www.danieleporello.net Language: English - Date: 2012-12-06 05:17:38 Metalogic Proof theory Philosophical logic Linear logic Auction Sequent calculus If and only if Well-formed formula Entailment Logic Binary operations Logical syntax
480	Normative Framework for Normative System Change Guido Boella Gabriella Pigozzi Leendert van der Torre Add to Reading List Source URL: www.pigozzi.org Language: English - Date: 2009-03-12 19:16:58 Belief revision Knowledge representation Logic programming Linear algebra Fuzzy logic Norm Function David Makinson Deontic logic Mathematics Logic Mathematical logic

UPDATE